Kenneth Appel and Wolfgang Haken; Ashay Dharwadker
In 1976, K. Appel and W. Haken announced a “computer proof” of the four-color conjecture, using 1200 hours of computer calculations that could not be verified by humans, even in principle. In 2000, Ashay Dharwadker announced a new proof of the four-color theorem that appears to have stood the test of time.
Copy and paste this URL into your WordPress site to embed
Copy and paste this code into your site to embed